-
1 predicate function
Большой англо-русский и русско-английский словарь > predicate function
-
2 predicate function
Математика: предикативная функция -
3 predicate function
The New English-Russian Dictionary of Radio-electronics > predicate function
-
4 predicate function
-
5 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
6 function
1) функция2) функционировать; находиться в работоспособном состоянии3) выполнять функцию; играть роль4) (дополнительное) функциональное устройство, проф. функция ( в стандарте USB)5) вчт. отображение || отображать•- actuating transfer function
- additive function
- additive/multiplicative function
- admittance function
- advanced communication function
- affine Boolean function
- aggregate function
- algebraic function
- all-pass transfer function
- all-pole function
- all-zero function
- alternating function
- ambiguity function
- amplitude distribution function
- amplitude function
- AM-tive function additive/multiplicative function
- anode work function
- aperture phase function
- apodizing function
- application program function
- autocorrelation function
- automatic azimuth alignment function
- band-limited function
- base station control function
- basis function
- Bellman function
- bent function
- Bessel function of imaginary argument
- Bessel function
- beta function
- bijection function
- bijective function
- binary activation function
- binary sigmoid function
- binate function
- bipolar sigmoid function
- bi-state function
- bivariate distribution function
- Boolean function
- Bose-Einstein distribution function
- bounded function
- boxcar function
- Brillouin function
- built-in function
- Butterworth function
- carpet function
- carrier function
- cathode work function
- characteristic function
- circular function
- closed function
- closed-loop transfer function
- clutching function
- coherence function
- color matching functions
- comb function
- combination function
- combining function
- competitive function
- complementary error function
- complementary function
- composite function
- computable function
- concentrated likelihood function
- continuous function
- contrast transfer function
- control function
- convolution function
- correlation function
- cost function
- covariance generating function
- criterion function
- cross-correlation function - current potential function
- current transfer function
- curried function
- data communications function
- data-path function
- decision function
- degate function
- degating function
- delta function
- demand function
- density function
- descrambling function
- describing function
- difference transfer function
- differentiable function
- digamma function
- Dirac delta function
- Dirac function
- disconnect-reconnect function
- discriminant function
- distribution function
- driving-point function
- eikonal function
- electron wave function
- embedding function
- encryption function
- ergodic function
- error function
- excitation function
- explicit function
- exponential function
- extensional function
- external function
- failure density function
- feedback transfer function
- Fermi function
- Fermi-Dirac distribution function
- force function
- forward transfer function
- frequency function
- frequency-generating function
- frequency-response function
- friend function
- FS function
- full-speed function
- fuzzy function
- fuzzy objective function
- fuzzy utility function
- gage function
- Gaussian function
- Gaussian radial basis function
- generalized function
- generic function
- global implicit function
- global inverse function
- Green functions
- Green's function
- Hamilton function
- Hankel function
- hard limit activation function - hazard function
- head-related transfer function
- Heaviside step function
- Huber function
- hyperbolic function
- hyperbolic tangent activation function
- idempotent function
- image function
- impedance function
- implicit function
- injection function
- injective function
- inline function
- intensional function
- interference function
- interworking function
- inverse distribution function
- inverse function
- invertible mapping function
- inverting function
- kernel function
- Lagrange's function
- Langevin function
- latent function
- Legendre associated function of the first kind
- Legendre associated function of the second kind
- Legendre function of the first kind
- Legendre function of the second kind
- lexical function
- likelihood function
- line search function
- linear function
- linear logic function
- logic function
- logistic function
- logistic sigmoid function
- log-likelihood function
- log-linear function
- log-log function
- look-up function
- loss function
- low-speed function
- LS function
- luminosity function
- macro function
- main function
- maintenance entity function
- majorized function
- majorizing function
- mapping function
- Markov function
- mathematical function
- member function
- membership function
- memo function
- memoised function
- memoized function
- minorized function
- minorizing function
- modified Bessel function
- modular hash-function
- modulating function
- modulation transfer function
- moment-generating function
- monotonic function
- Morse function
- multi-input multi-output transfer function
- multi-valued function
- multivariate distribution function
- mutual coherence function
- natural trigonometric function
- never-decreasing function
- never-increasing function
- non-decreasing function
- non-increasing function
- nonlinear function
- normalized Gaussian radial basis function
- normalized radial basis functions with equal heights
- normalized radial basis functions with equal volumes
- normalized radial basis functions with equal widths and heights
- normalized radial basis functions with equal widths
- normalized radial basis functions with unequal widths and heights
- objective function
- one-one function
- one-to-one function
- one-way function
- one-way hash function
- open-loop transfer function
- optical transfer function
- ordinary Gaussian radial basis function
- ordinary radial basis functions with equal widths
- ordinary radial basis functions with unequal widths
- orthogonal functions
- overlapped functions
- partial autocorrelation function
- penalty function
- perfect hash-function
- phase transfer function
- photoelectric work function
- photopic response function
- piecewise constant function
- piecewise linear function
- piecewise polynomial function
- Pierce function
- point-spread function
- polynomial function
- positive linear function
- postsynaptic potential function
- power function of test
- power function
- predefined function
- predicate function
- probability density function
- probability function
- probability mass function
- production function
- projection function
- projective function
- propagation function
- propositional function
- PSP function
- pulsating function
- pure virtual function
- quadratic error function
- radial basis function
- radial combination function
- ramp function
- range weighting function
- reactance function
- register function
- regression function
- resolvent function
- response function
- restricted function
- risk function
- saturating linear function
- scalar function
- scaling function
- scattering function
- scedastic function
- Schrödinger wave function
- scrambling function
- screen size-viewing distance function
- self-inverse function
- semilinear function
- sensing function
- sentential function
- shape function
- sigmoid activation function
- sigmoid function
- sign function
- signal function
- signum activation function
- signum function
- smooth function
- socket library function
- softmax activation function
- spectral density function
- spectral function
- spectral radiance function
- spline function
- spot function
- spread function
- square-integrable function
- square-law transfer function
- squashed sign function
- squashing function
- state function
- state query function
- steering function
- step function
- stream function
- summing function
- support entity function
- support function
- supported function
- surjection function
- surjective function
- survival function
- switch function
- switching function
- switch-type function
- symmetric saturating linear function
- tame function
- tan-sigmoid activation function
- target function
- tensor function
- tesseral function
- testing function
- tetragamma function
- thermionic work function
- threshold function
- through transfer function
- transcendental function
- transfer function
- trial function
- trigamma function
- trigonometric function
- tri-state function
- typematic function
- unate function
- uncurried function
- unit impulse function
- unit step function
- unsupported function
- user-defined function
- utility function
- vector function
- virtual function
- visibility function
- voltage potential function
- voltage transfer function
- Walsh functions
- wave function
- wave-number limited function
- weighting function
- window function
- work functionThe New English-Russian Dictionary of Radio-electronics > function
-
7 predicate preserving function
Математика: сохраняющая предикат функцияУниверсальный англо-русский словарь > predicate preserving function
-
8 predicate preserving function
English-Russian scientific dictionary > predicate preserving function
-
9 предикативная функция
Большой англо-русский и русско-английский словарь > предикативная функция
-
10 representable
представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ нумерически представимый numeralwise representable formula ≈ нумерически представимая формула numeralwise representable function ≈ нумерически представимая функция recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение sourcewise representable function ≈ истокообразно представленная функция uniquely representable graph ≈ однозначно представимый граф weakly representable predicate ≈ слабо представимый предикат - analytically representable - nomographically representable - properly representable - recursively representable - representable algebra - representable event - representable function - representable functor - representable integer - representable predicate - strongly representable - totally representable - uniquely representable - weakly representable ПредставимоБольшой англо-русский и русско-английский словарь > representable
-
11 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
12 bounded
1) граничить
2) ограниченный
3) ограниченно
4) разграниченный
5) связанный ∙ absolutely bounded form ≈ абсолютно ограниченная форма absolutely bounded function ≈ ограниченная по абсолютной величине функция absolutely bounded matrix ≈ абсолютно ограниченная матрица algebra of bounded representation type ≈ алгебра с ограниченными степенями представлений algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени almost bounded function ≈ функция, ограниченная почти всюду bounded above function ≈ ограниченная сверху функция bounded above operator ≈ ограниченый сверху оператор bounded above subset ≈ ограниченное сверху подмножество bounded below function ≈ ограниченная снизу функция bounded below operator ≈ ограниченный снизу оператор bounded below subset ≈ ограниченное снизу подмножество bounded closed interval ≈ ограниченный замкнутый интервал bounded distance decoding ≈ декодирование с ограниченным расстоянием bounded from one side ≈ полуограниченный bounded open interval ≈ ограниченный открытый интервал bounded partial quotient ≈ ограниченное неполное частное bounded pure subgroup ≈ ограниченная сервантная подгруппа bounded random variable ≈ ограниченная случайная величина bounded universal hypothesis ≈ ограниченная универсальная гипотеза bounded variable technique ≈ метод ограниченной переменной collectively bounded set ≈ ограниченное в совокупности множество completely bounded set ≈ вполне ограниченное множество completely bounded space ≈ вполне органическое пространство completely bounded statistic ≈ вполне ограниченная статистика derivative of bounded variation ≈ производная с ограниченной вариацией doubly bounded quantifier ≈ ограниченный с двух сторон квантор essentially bounded function ≈ существенно ограниченная функция essentially bounded random variable ≈ существенно ограниченная случайная величина essentially bounded sequence ≈ существенно ограниченная последовательность explicitly bounded function ≈ явно ограниченная функция finitely bounded germ ≈ конечно ограниченный росток function of bounded characteristic ≈ функция с ограниченной характеристикой function of bounded type ≈ функция ограниченного вида function of bounded variation ≈ функция с ограниченным изменением linearly bounded automaton ≈ линейно ориентированный автомат linearly bounded set ≈ линейно ограниченное множество locally bounded curvature ≈ локально ограниченная кривизна locally bounded density ≈ локально ограниченная плотность locally bounded function ≈ локально ограниченная функция locally bounded game ≈ локально ограниченная игра locally bounded space ≈ локально ограниченное пространство metrically bounded functional ≈ метрически ограниченный функционал metrically bounded set ≈ метрически ограниченное множество nontangentially bounded function ≈ нетангенциально ограниченная функция nontangentially bounded integral ≈ некасательно ограниченный интеграл order bounded functional ≈ ограниченный по упорядоченности функционал pointwise bounded function ≈ точечно ограниченная функция polynomially bounded function ≈ полиномиально ограниченная функция process with bounded aftereffect ≈ процесс с ограниченным последействием progressively bounded graph ≈ прогрессивно ограниченный граф recursively bounded quantifier ≈ рекурсивно ограниченный квантор regressively bounded graph ≈ регрессивно ограниченный граф relatively bounded form ≈ относительно ограниченная форма sequentially bounded net ≈ последовательно ограниченная сеть simply bounded subset ≈ поточечно ограниченное подмножество smoothly bounded region ≈ гладко ограниченная область stochastically bounded sequence ≈ стохастически ограниченная последовательность strictly bounded set ≈ строго ограниченное множество strongly bounded set ≈ сильно ограниченное множество strongly bounded space ≈ сильно ограниченное пространство theor of semigroups of linear bounded operators ≈ теория полугрупп линейных ограниченных операторов topology of bounded convergence ≈ топология ограниченной сходимости totally bounded measure ≈ вполне ограниченная мера totally bounded set ≈ вполне ограниченное множество totally bounded space ≈ вполне ограниченное пространство totally bounded subset ≈ вполне ограниченное подмножество totally bounded uniformity ≈ вполне ограниченная равномерность uniformly bounded convergence ≈ равномерно ограниченная сходимость uniformly bounded curvature ≈ равномерно ограниченная кривизна uniformly bounded error ≈ равномерно ограниченная ошибка uniformly bounded family ≈ равномерно ограниченное семейство uniformly bounded function ≈ равномерно ограниченная функция uniformly bounded kernel ≈ равномерно ограниченное ядро uniformly bounded sequence ≈ равномерно ограниченная последовательность uniformly bounded series ≈ равномерно ограниченный ряд uniformly bounded set ≈ равномерно ограниченное множество uniformly bounded variation ≈ равномерно ограниченная вариация weakly bounded set ≈ слабо ограниченное множество weakly bounded subset ≈ слабо ограниченное подмножество - almost bounded - bounded above - bounded acceptor - bounded accuracy - bounded adele - bounded aggregate - bounded approximation - bounded automaton - bounded axonometry - bounded below - bounded characteristic - bounded collection - bounded compactness - bounded completeness - bounded continuum - bounded convergence - bounded curvature - bounded decomposition - bounded deficiency - bounded degree - bounded derivation - bounded derivative - bounded deviation - bounded difference - bounded distribution - bounded domain - bounded duality - bounded extension - bounded field - bounded flow - bounded form - bounded frontier - bounded function - bounded functional - bounded group - bounded homomorphism - bounded index - bounded integral - bounded integrand - bounded intersection - bounded invertibility - bounded kernel - bounded language - bounded lattice - bounded mapping - bounded martingale - bounded matrix - bounded measure - bounded metric - bounded module - bounded monotonicity - bounded morphism - bounded motion - bounded network - bounded norm - bounded operator - bounded order - bounded path - bounded polyhedron - bounded potential - bounded predicate - bounded problem - bounded product - bounded projection - bounded quality - bounded quantification - bounded quantifier - bounded quantity - bounded quotient - bounded region - bounded representation - bounded retract - bounded semigroup - bounded sequence - bounded series - bounded set - bounded solution - bounded space - bounded spectrum - bounded spline - bounded string - bounded subset - bounded subtraction - bounded sum - bounded summand - bounded support - bounded term - bounded topology - bounded transformation - bounded utility - bounded variance - bounded variation - bounded varying - bounded vector - essentially bounded - explicitly bounded - exponentially bounded - power bounded - uniformly bounded - weakly bounded (математика) ограниченный -
13 recursively
1) рекурсно
2) рекурсивно
3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers ≈ общерекурсивно неравные числа general recursively irrational number ≈ общерекурсивно иррациональное число general recursively true ≈ общерекурсивно истинный general recursively true formula ≈ общерекурсивно истинная формула primitive recursively true ≈ примитивно-рекурсивно истинный recursively approximable set ≈ рекурсивно аппроксимируемое множество recursively axiomatizable theor ≈ рекурсивно аксиоматизируемая теория recursively axiomatized theor ≈ рекурсивно аксиоматизированная теория recursively bounded quantifier ≈ рекурсивно ограниченный квантор recursively calculable function ≈ рекурсивно вычислимая функция recursively complex number ≈ рекурсивно комплексное число recursively continuous function ≈ рекурсивно непрерывная функция recursively convergent function ≈ рекурсивно сходящаяся функция recursively convergent sequence ≈ рекурсивно сходящаяся последовательность recursively creative set ≈ рекурсивно креативное множество recursively defined function ≈ рекуррентно определенная функция recursively defined sequence ≈ рекурсивно определенная последовательность recursively differentiable function ≈ рекурсивно дифференцируемая функция recursively divergent function ≈ рекурсивно расходящаяся функция recursively divergent sequence ≈ рекурсивно расходящаяся последовательность recursively enumerable cylinder ≈ рекурсивно перечислимый цилиндр recursively enumerable degree ≈ рекурсивно перечислимая степень recursively enumerable index ≈ рекурсивно перечислимый индекс recursively enumerable ordinal ≈ рекурсивно перечислимое порядковое число recursively enumerable predicate ≈ рекурсивно перечислимый предикат recursively enumerable problem ≈ рекурсивно перечислимая проблема recursively enumerable relation ≈ рекурсивно перечислимое отношение recursively enumerable sequence ≈ рекурсивно перечислимая последовательность recursively enumerable set ≈ рекурсивное перечислимое множество recursively enumerable structure ≈ рекурсивно перечислимая структура recursively enumerable subclass ≈ рекурсивно перечислимый подкласс recursively enumerable subset ≈ рекурсивно перечислимое подмножество recursively enumerable theor ≈ рекурсивно перечислимая теория recursively equivalent sets ≈ рекурсивно эквивалентные множества recursively extensible function ≈ рекурсивно продолжаемая функция recursively incompletable theor ≈ рекурсивно непополнимая теория recursively indecomposable set ≈ рекурсивно неразложимое множество recursively inseparable sets ≈ рекурсивно неотделимые множества recursively invariant concept ≈ рекурсивно инвариантное понятие recursively invariant relation ≈ рекурсивно инвариантное отношение recursively isomorphic set ≈ рекурсивно изоморфное множество recursively presentable structure ≈ рекурсивно представимая структура recursively presented group ≈ рекурсивно определенная группа recursively productive set ≈ рекурсивно продуктивное множество recursively real number ≈ рекурсивно вещественное число recursively related system of notation ≈ рекурсивная по упорядочению система обозначений recursively representable operation ≈ рекурсивно представимая операция recursively representable relation ≈ рекурсивно представимое отношение recursively separable sets ≈ рекурсивно отделимые множества recursively solvable problem ≈ рекурсивно разрешимая проблема recursively undecidable theor ≈ рекурсивно неразрешимая теория recursively unequal numbers ≈ рекурсивно неравные числа - recursively axiomatized - recursively calculable - recursively closed - recursively computable - recursively conditional - recursively continuous - recursively convergent - recursively differentiable - recursively divergent - recursively enumerable - recursively equivalent - recursively expressible - recursively extensible - recursively inseparable - recursively isomorphic - recursively isotonic - recursively presentable - recursively projective - recursively realizable - recursively representable - recursively soluble - recursively true - recursively unsolvable РекурсивноБольшой англо-русский и русско-английский словарь > recursively
-
14 logic
в) логическая схема; логические схемы- active logic
- application logic
- assertion-level logic - base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled logic
- charge-coupled device logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible logic - complementary transistor-resistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging logic - current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic - double-railed logic
- dynamic logic - emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic - hardware logic
- hard-wired logic
- high-level logic - integrated-circuit logic - latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic - low-voltage logic - magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic - micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- neighborhood logic - n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable logic
- programmable array logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic - resistor-coupled transistor logic - sampling-type logic
- saturated logic
- save-carry logic - Schottky transistor-transistor logic - shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic - ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor logic - tunnel-diode logic - virtual logic
- voltage-stage logic
- wired program logic -
15 logic
в) логическая схема; логические схемы•- active logic
- application logic
- assertion-level logic
- assisted Gunning transceiver logic
- asynchronous logic
- base-coupled logic
- binary logic
- bipolar logic
- bit-serial logic
- bubble logic
- buffered logic
- buried-load logic
- business logic
- cache logic
- cellular logic
- charge-coupled device logic
- charge-coupled logic
- chroma invert logic
- clocked logic
- closed C-MOS logic
- collector-coupled logic
- combination logic
- compatible current-sinking logic
- compatible logic
- complementary constant-current logic
- complementary resistor-diode-transistor logic
- complementary transistor-resistor logic
- complementary-transistor logic
- computer logic
- control logic
- core logic
- core-transistor logic
- current-hogging injection logic
- current-hogging logic
- current-merged logic
- current-mode logic
- current-sinking logic
- current-sourcing logic
- degating logic
- designer choice logic
- digital summation threshold logic
- diode logic
- diode-transistor logic
- direct-coupled field-effect-transistor logic
- direct-coupled logic
- direct-coupled transistor logic
- direct-coupled unipolar transistor logic
- distributed logic
- domain-tip-propagation logic
- domain-wall logic
- double-railed logic
- dynamic logic
- emitter-coupled current-steering logic
- emitter-coupled logic temperature compensated
- emitter-coupled logic
- emitter-coupled transistor logic
- emitter-emitter coupled logic
- emitter-follower logic
- emitter-function logic
- extensional logic
- field-effect transistor logic
- first-order logic
- first-order predicate logic
- formal logic
- full logic
- functional logic
- fuse-programmable array logic
- fuzzy logic
- glue logic
- Gunning transceiver logic
- half-line delay logic
- hardware logic
- hard-wired logic
- high-level logic
- high-level transistor-transistor logic
- high-noise immunity logic
- high-power logic
- high-threshold logic
- Horn clause logic
- integrated injection logic
- integrated Schottky logic
- integrated-circuit logic
- intensional logic
- isoplanar integrated injection logic
- Josephson logic
- latching logic
- local-control logic
- locked-pair logic
- look-ahead carry logic
- low-level logic
- low-power diode-transistor logic
- low-power logic
- low-power resistor-transistor logic
- low-power Schottky transistor-transistor logic
- low-threshold logic
- low-voltage logic
- low-voltage transistor-transistor logic
- machine logic
- magnetic domain-wall logic
- magnetoelectronic logic
- magnetooptical logic
- majority logic
- mathematical logic
- merged transistor logic
- metal-oxide-semiconductor transistor logic
- microcontrol logic
- micropower logic
- microwatt logic
- microwave logic
- modal logic
- multiaperture-device logic
- multiemitter-transistor logic
- multilevel logic
- multiphase logic
- multitarget acquisition logic
- multivalued logic
- nanosecond logic
- negative logic
- negative true logic
- neighborhood logic
- n-level logic
- one-line delay logic
- operation logic
- optical logic
- optoelectronic logic
- pass-transistor logic
- positive logic
- positive true logic
- predicate logic
- programmable array logic
- programmable logic
- quadded logic
- Rambus signaling logic
- random logic
- rapid single flux quantum logic
- reacquisition logic
- Reed-Müller logic
- register transfer logic
- resistor-capacitor diode-transistor logic
- resistor-capacitor transistor logic
- resistor-coupled transistor logic
- resistor-transistor logic
- RSFQ logic
- sampling-type logic
- saturated logic
- save-carry logic
- Schottky transistor logic
- Schottky transistor-transistor logic
- Schottky-diode FET logic
- self-aligned superinjection logic
- sequential logic
- shared logic
- solid logic
- solid-state logic
- standard logic
- static logic
- stored logic
- substrate-fed logic
- symbolic logic
- symmetrical emitter-coupled logic
- synchronous logic
- ternary logic
- tertiary logic
- threshold logic
- tightly-packed logic
- track monitoring logic
- transistor current-steering logic
- transistor logic
- transistor-coupled logic
- transistor-diode logic
- transistor-resistor logic
- transistor-transistor logic
- tri-state logic
- tunnel-diode charge-transformer logic
- tunnel-diode coupled logic
- tunnel-diode logic
- tunnel-diode transistor logic
- unsaturated logic
- variable-threshold logic
- vertical injection logic
- virtual logic
- voltage-stage logic
- wired program logicThe New English-Russian Dictionary of Radio-electronics > logic
-
16 letter
1) буква || буквенный2) полигр. литера3) элемент алфавита; символ; знак4) письмо || писать письмо5) помечать буквами; надписывать• -
17 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection -
18 constant
ˈkɔnstənt
1. сущ.;
физ.;
мат. постоянная, константа( в точных науках) Planck's constant ≈ физ. постоянная Планка, энергия кванта (отношение энергии кванта излучения к его частоте)
2. прил.
1) а) неизменный, неизменяемый, устойчивый, константный Syn: invariable, permanent, continual б) одинаковый, единообразный, унифицированный Syn: invariable, uniform
2) преданный, верный, приверженный( идее и т. п.) Syn: regular, faithful, continual (математика) (физическое) постоянная (величина), константа постоянный, непрерывный - * complaints постоянные жалобы - * chatter беспрерывная болтовня - * rain непрерывный дождь - * care and attention постоянная забота и внимание постоянный, устойчивый, константный - * current (электротехника) постоянный ток - * load (специальное) длительная нагрузка - * spectrum( специальное) сплошной спектр постоянный, неизменный, верный - * reader постоянный читатель - * friend верный друг - * he has been * in his devotion to science он никогда не изменял своей преданности науке > * dropping wears away a stone капля по капле и камень долбит constantan константан (сплав) address ~ вчт. адресная константа all other things ~ при прочих равных условиях basic real ~ вчт. базисная вещественная константа block ~ вчт. признак группы c-type ~ вчт. символьная константа case ~ вчт. константа варианта character ~ вчт. символьная константа compile-time ~ вчт. статическая константа complex ~ вчт. комплексная константа constant верный ~ константа ~ неизменный, неослабный ~ неизменный ~ непрерывный ~ физ., мат. постоянная (величина), константа;
constant of friction коэффициент трения ~ постоянная ~ постоянная величина ~ постоянный;
in terms of constant prizes в неизменных ценах ~ постоянный ~ твердый;
верный (идее и т. п.) ~ устойчивый ~ физ., мат. постоянная (величина), константа;
constant of friction коэффициент трения contiguous ~ вчт. зависимая константа decay ~ вчт. постоянная затухания deferred ~ вчт. задержанная постоянная deferred ~ вчт. константа времени выполнения diffusion ~ вчт. коэффициент диффузии figurative ~ вчт. данные файла figurative ~ вчт. фигуральная константа floating ~ вчт. плавающая константа function ~ вчт. функциональная константа group ~ вчт. групповая константа grouped ~ вчт. табличная константа hexadecimal ~ вчт. шестнадцатеричная константа ~ постоянный;
in terms of constant prizes в неизменных ценах integer ~ вчт. целочисленная константа layout ~ вчт. макет расположения layout ~ вчт. шаблон manifest ~ вчт. именованная константа manifest ~ вчт. переименованная константа multiplicative ~ вчт. постоянный множитель named ~ вчт. именованная константа nonconfiguous ~ вчт. независимая константа notation ~ вчт. нотационная константа numeric ~ вчт. числовая константа octal ~ вчт. восьмеричная константа predicate ~ вчт. предикатная константа proportionality ~ вчт. коэффициент пропорциональности real ~ вчт. вещественная константа row ~ вчт. ограничение по строкам run-time ~ вчт. константа времени выполнения sign ~ вчт. знаковая константа smoothing ~ вчт. сглаживающая постоянная static ~ вчт. статическая константа string ~ вчт. строковая константа structured ~ вчт. структурная константа system ~ вчт. константа операционной системы transfer ~ вчт. коэффициент передачи type ~ вчт. типизованная константа typed ~ вчт. типированная постоянная zero ~ вчт. константа нульБольшой англо-русский и русско-английский словарь > constant
-
19 multiplace
Большой англо-русский и русско-английский словарь > multiplace
-
20 two-place
двуместный - two-place function - two-place functor - two-place operation - two-place operator - two-place predicate двухзначный( о числе)Большой англо-русский и русско-английский словарь > two-place
- 1
- 2
См. также в других словарях:
Predicate transformer semantics — is an extension of Floyd Hoare Logic invented by Dijkstra and extended and refined by other researchers. It was first introduced in Dijkstra s paper Guarded commands, nondeterminacy and formal derivation of programs . It is a method for defining… … Wikipedia
Predicate — or predication may refer to:*Predicate (mathematics), a relation, or the boolean valued characteristic function or indicator function of a relation *Predicate (logic), a fundamental concept in first order logic **in Bertrand Russell s theory of… … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Predicate (mathematics) — In mathematics, a predicate is either a relation or the boolean valued function that amounts to the characteristic function or the indicator function of such a relation.A function P: X→ {true, false} is called a predicate on X.When P is a… … Wikipedia
Predicate logic — In mathematical logic, predicate logic is the generic term for symbolic formal systems like first order logic, second order logic, many sorted logic or infinitary logic. This formal system is distinguished from other systems in that its formulas… … Wikipedia
Predicate (logic) — Sometimes it is inconvenient or impossible to describe a set by listing all of its elements. Another useful way to define a set is by specifying a property that the elements of the set have in common. The notation P(x) is used to denote a… … Wikipedia
predicate — A predicate is any expression that is capable of connecting with one or more singular terms to make a sentence. A predicate expresses a condition that the entities referred to may satisfy, in which case the resulting sentence will be true. For… … Philosophy dictionary
function, logical — In logic and mathematics a function, also known as a map or mapping, is a relation that associates members of one class X with some unique member y of another class Y. The association is written as y = f(x ). The class X is called the domain of… … Philosophy dictionary
function — Synonyms and related words: IC analysis, act, act as, acting, action, activism, activities, activity, affair, affairs, aim, ambition, animus, appositive, aspiration, assignment, attribute, attributive, baccalaureate service, bag, banquet, be… … Moby Thesaurus
predicate — Synonyms and related words: IC analysis, advance, affirm, affirmance, affirmation, allegation, allege, announce, announcement, annunciate, annunciation, appositive, argue, assert, assertion, assever, asseverate, asseveration, attribute,… … Moby Thesaurus